model checking
英 [ˈmɒdl ˈtʃekɪŋ]
美 [ˈmɑːdl ˈtʃekɪŋ]
网络 模型检测; 模型检验; 模型检查; 模型验证; 模式检查
双语例句
- Model Extraction and Model Checking Research for Java Concurrent Programs
Java并发程序的模型提取与模型检测技术研究 - A new symbolic model checking tool was built based on this algorithm.
并且基于该算法开发出新的符号模型检测工具。 - The popular approaches are introduced and summarized, especially model checking based method, theorem proving based method, logic programming based method and so on.
以计算逻辑为基础，介绍了定理机器证明中一种新的启发式方法&波动方法，它是一种在证明中通过处理归纳结论来激活归纳假设的策略。 - The Design and Implementation of the Model Checking Algorithm for Real-time System Based on Timed Automata
一种基于时间自动机的实时系统模型检查算法的设计与实现 - Research on Model Checking Based Source Code Analysis
基于模型检验技术的源程序分析研究 - Research on Survivability of Information System Based on Model Checking Technology
基于模型检查技术的信息系统生存性研究 - Analyzing and Verifying Network Protocols by Model Checking
基于模型检查的网络协议分析与验证 - Model Checking of the SET Protocol Using Spin
基于Spin的SET协议模型检测研究 - Model Checking Based on Spatial Logic and CTL
基于空间逻辑和计算树逻辑的模型检测 - Loosely speaking, model checking is a way to check for the existence of a finite state machine ( specification) in another finite state machine ( program).
不严格地说，模型检查是在一个有限状态机器（程序）中检验另一个有限状态机器（清单）存在性的一个方法。 - A Model Checking Algorithm for Predicate Mu Calculus and Spatial Logic
基于谓词μ演算和空间逻辑的模型检测算法研究 - Application of model checking in software requirements analysis and design
模型检测在软件需求分析及设计中的应用 - For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。 - Model Checking CTL Based on Complete Abstraction Interpretation
基于完备抽象解释的模型检验CTL公式研究 - Research on Model Checking of Petri Nets Based on Linear Temporal Logic
基于线性时态逻辑的Petri网模型检测研究 - Research on Verification of Secure Operating System Based on Model Checking
基于模型检测的安全操作系统验证方法研究 - The research of this paper is based on the Bounded Model Checking of sequential circuit.
本文研究工作是针对时序电路的有界模型检验进行展开的。 - This is similar to what is known as model checking.
这与我们所知道的模型检测相似。 - This paper proposes an approach to data flow testing for components using model checking.
提出了一种用模型检验进行构件数据流测试的方法。 - We analyse the security of e-commerce protocols in failure environments using the model checking approach.
本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。 - Model checking is a formal method for verifying the temporal logic properties of finite state systems.
模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。 - In this paper, the development and state-of-art of model checking are expatiated.
详细阐述了模型检验技术的发展与研究现状。 - Design and Implementation of the UML Model Checking Tool Based on SPIN/ Promela
基于SPIN/Promela的UML模型验证工具设计与实现 - A bounded model checking method for the high-level design verification using Wu's method is proposed.
以吴方法为理论基础，提出一种针对高层次设计验证的定界模型检验方法。 - A Verification Method of Security Model Based on UML and Model Checking
基于UML和模型检测的安全模型验证方法 - Model checking is a technique for automatically verifying finite-state concurrent systems.
模型检验是自动检验有限状态并发系统的技术。 - The capability of model checking to output counterexamples provides a basis for automated test generation.
模型检验输出的反例提供了一种自动产生测试用例的有效途径。 - Formal Modeling and Model Checking Analysis of the Avalon System-on-Chip Bus Protocol
Avalon片上总线协议的形式化建模与模型检验分析 - The algorithm of model checking is introduced in the field of software test in order to find out the verified path and produce test cases on which system could be test based.
然后把模型检查的算法引入到软件测试领域，寻找验证的路径，生成测试用例，据此对系统进行测试。 - Model checking is then used to check whether a program has a given property.
然后使用模型检查来检验一个程序是否有某个给定特性。